On Shelah's amalgamation
نویسندگان
چکیده
The aim of this paper is to present a detailed explanation of three models of Shelah. We show the rule of the amalgamation in the construction of models in which all deenable sets of reals have Baire property or are Lebesgue measurable. Next we construct a model in which every projective set of reals has Baire property, a model with the Uniformization Property and a model of ZF + DC in which all subsets of the real line are Lebesgue measurable but there is a set without Baire property.
منابع مشابه
Shelah's categoricity conjecture from a successor for tame abstract elementary classes
We prove a categoricity transfer theorem for tame abstract elementary classes. Theorem 0.1. Suppose that K is a χ-tame abstract elementary class and satisfies the amalgamation and joint embedding properties and has arbitrarily large models. Let λ ≥ Max{χ,LS(K)}. If K is categorical in λ and λ, then K is categorical in λ. Combining this theorem with some results from [Sh 394], we derive a form o...
متن کاملShelah's eventual categoricity conjecture in universal classes: Part I
We prove: Theorem 0.1. Let K be a universal class. If K is categorical in cardinals of arbitrarily high cofinality, then K is categorical on a tail of cardinals. The proof stems from ideas of Adi Jarden and Will Boney, and also relies on a deep result of Shelah. As opposed to previous works, the argument is in ZFC and does not use the assumption of categoricity in a successor cardinal. The argu...
متن کاملOn pm$^+$ and finite character bi-amalgamation
Let $f:Arightarrow B$ and $g:A rightarrow C$ be two ring homomorphisms and let $J$ and $J^{'}$ be two ideals of $B$ and $C$, respectively, such that $f^{-1}(J)=g^{-1}(J^{'})$. The bi-amalgamation of $A$ with $(B,C)$ along $(J,J^{'})$ with respect of $(f,g)$ is the subring of $Btimes C$ given by $Abowtie^{f,g}(J,J^{'})={(f(a)+j,g(a)+j^{'})/ a in A, (j,j^{'}) in Jtimes J^{'}}.$ In ...
متن کاملStrong extension axioms and Shelah's zero-one law for choiceless polynomial time
This paper developed from Shelah's proof of a zero-one law for the complexity class \choiceless polynomial time," de ned by Shelah and the authors. We present a detailed proof of Shelah's result for graphs, and describe the extent of its generalizability to other sorts of structures. The extension axioms, which form the basis for earlier zero-one laws (for rst-order logic, xed-point logic, and ...
متن کاملShelah's stability spectrum and homogeneity spectrum in finite diagrams
We present Saharon Shelah's Stability Spectrum and Homogeneity Spectrum theorems, as well as the equivalence between the order property and instability in the framework of Finite Diagrams. Finite Diagrams is a context which generalizes the first order case. Localized versions of these theorems are presented. Our presentation is based on several papers; the point of view is contemporary and some...
متن کامل